#ifndef KERNEL_INIT_H_
#define KERNEL_INIT_H_
void init_all();
#endif // KERNEL_INIT_H_